منابع مشابه
Auditing User Queries in Dynamic Statistical Databases
Chin proposed an audit scheme for inference control in statistical databases (SDBs) which can determine whether or not a query will lead to the compromise of an SDB. As Chin points out that the dynamic updates of an SDB are prohibited in this scheme because, otherwise, the time and storage requirements will become infinite. The restriction limits the use of this scheme since many SDBs need to b...
متن کاملConsistency Check of Image Databases
Checking the consistency of image databases is not a completely solved problem. To decide if an image has already been inserted into the database can only be checked by actually looking through the images, or using the textual descriptive keywords attached to the database items. Both the visual checking and the keyword search in a large image database may result in errors. Several methods of co...
متن کاملConsistency management for object databases
The aspect of semantic integrity in the mainstay object-oriented database management systems (OODBMSs) today is generally weak. Constraints like inter-object constraints are speci ed and maintained either by application-oriented techniques or using event-conditionaction (ECA) rules facilities of these systems. Both techniques have many disadvantages that makes database integrity incomplete. In ...
متن کاملComputational complexity of auditing finite attributes in statistical databases
We study the computational complexity of auditing finite attributes in databases allowing statistical queries. Given a database that supports statistical queries, the auditing problem is to check whether an attribute can be completely determined or not from a given set of statistical information. Some restricted cases of this problem have been investigated earlier, e.g. the complexity of statis...
متن کاملModeling information repositories consistency and auditing through Alloy and CCalc
We present a case study on which a model checking language (Alloy) and a non-monotonic causal language (CCalc) are used for modeling the auditing process of an information repository through a MultiAgents System. Alloy and CCalc are used for identifying inconsistencies and simulating an automatic correction process carried out by intelligent agents supervised by human users. Similarities and st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1974
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/17.1.52